[$e$, ${\it e'}$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$${\it ev}$.es{-}ble\{i:l\}(${\it es}$;$e$;${\it ev}$);before(${\it e'}$) @ [${\it e'}$])